0361c01a179e5ff62c39744d4ab9a8613c5931e1,util/json/src/main/java/jetbrains/jetpad/json/JsonUtil.java,JsonUtil,escape,#String#,29

Before Change


    for (int i = 0; i < s.length(); i++) {
      char c = s.charAt(i);
      if (SPECIAL_CHARS.contains(c)) {
        builder.append(ESCAPED_SPECIAL_CHARS.get(SPECIAL_CHARS.indexOf(c)));
      } else {
        builder.append(c);
      }

After Change


    for (int i = 0; i < s.length(); i++) {
      char c = s.charAt(i);

      int index = Chars.indexOf(SPECIAL_CHARS, c);
      if (index != -1) {
        builder.append(ESCAPED_SPECIAL_CHARS[index]);
      } else {
        builder.append(c);